(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_BV)
(declare-fun v0 () (_ BitVec 1))
(assert (let ((e1(_ bv133 8)))
(let ((e2 (! (bvlshr e1 ((_ sign_extend 7) v0)) :named term2)))
(let ((e3 (! (bvsle ((_ sign_extend 7) v0) e2) :named term3)))
(let ((e4 (! (bvule ((_ zero_extend 7) v0) e1) :named term4)))
(let ((e5 (! (not e3) :named term5)))
(let ((e6 (! (xor e4 e5) :named term6)))
e6
)))))))

(check-sat)
(set-option :regular-output-channel "/dev/null")
(get-model)
(get-value (term2))
(get-value (term3))
(get-value (term4))
(get-value (term5))
(get-value (term6))
(get-info :all-statistics)
